package cs.java.xml.w3c;


public interface Document {

  Element getDocumentElement();

}
